101. Architecting critical systems
المؤلف: / Holger Giese (ed.
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Fault-tolerant computing, Congresses,Computer architecture, Congresses,System design, Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F38I83
2010
102. Artificial intelligence methods in intelligent algorithms :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Software engineering ; Congresses. ;
103. Artificial intelligence methods in intelligent algorithms :
المؤلف: editor, Radek Silhavy.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Software engineering, Congresses.,Artificial intelligence.,COMPUTERS-- Software Development & Engineering-- General.,Software engineering.
رده :
QA76
.
758
104. Automated Reasoning with Analytic Tableaux and Related Methods
المؤلف: \ Hans De Nivelle (Ed.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Automatic theorem proving -- Congresses.,Programming Techniques.,Software engineering.,مهندسی ن‍رم اف‍زار
رده :
QA
76
.
9
.
A96
2015
E-Book
,
105. Automated deduction in geometr
المؤلف: / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
106. Balancing agility and formalism in software engineerin
المؤلف: / Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Software engineering--Congresses,Computer software--Development--Congresses
107. Balancing agility and formalism in software engineering
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Software engineering ; Congresses. ; Computer software ; Development ; Congresses. ;
108. Big data, cloud computing, and data science engineering
المؤلف: Roger Lee, editor
المکتبة: (طهران)
موضوع: Congresses ، Big data,Congresses ، Cloud computing,Congresses ، Software engineering
رده :
QA
76
.
9
.
B45B533
109. Broadband communications, networks, and systems :
المؤلف: Ioannis Tomkos ... [et al.] (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Broadband communication systems -- Congresses.,Computer. Automation.,software engineering.
110. Business modeling and software design :
المؤلف: Boris Shishkov (ed.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Business -- Data processing -- Congresses.,Management information systems -- Congresses.,Software engineering -- Congresses.
رده :
T58
.
6
B675
2012
111. COTS-based software systems : First International Conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002 : proceedings
المؤلف: John Dean, Andree Gravel )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2255
112. COTS-based software systems :second international conference, ICCBSS 2003, Ottawa, Ont., February 10-13, 2003 : proceedings
المؤلف: Hakan Erdogmus, Tao Weng )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2580
113. COTS-based software systems : 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005 : proceedings
المؤلف: Xavier Franch, Dan Port )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3412
114. Central European Functional Programming School
المؤلف: \ Viktória Zsók , Zoltán Horváth, Lehel Csató (Eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Functional programming (Computer science) -- Congresses.,Programming Techniques.,Software engineering.,نرم‌افزار -- مهندسی
رده :
QA
76
.
62
.
C4
2015
E-Book
,
115. Cloud computing -- CLOUD 2019 :
المؤلف: Dilma Da Silva, Qingyang Wang, Liang-Jie Zhang (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Cloud computing, Congresses.,Data protection, Congresses.,Software engineering, Congresses.,Cloud computing.,Data protection.,Software engineering.
رده :
QA76
.
585
116. Communication, smart technologies and innovation for society :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Software engineering ; Congresses. ;
117. Component-Based Software Engineering
المؤلف:
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering -- Congresses,نرم‌افزار -- مهندسی -- کنگره‌ها
رده :
E-Book
,
118. Component-based software engineerin
المؤلف: / Michel R.V. Chaudron, Clemens Szyperski, Ralf Reussner (eds.
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Software engineering--Congresses
رده :
QA
,
76
.
758
,.
C39
,
2008
119. Component-based software engineering
المؤلف: / George T. Heineman ... [et al.] (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Software engineering--Congresses,Computer software--Development--Congresses,Component-based software engineering,CBSE
رده :
QA
,
76
.
758
,.
C39
,
2005
120. Component-based software engineering
المؤلف: / Lars Grunske, Ralf Reussner, Frantisek Plasil (eds.
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Software engineering, Congresses
رده :
QA76
.
758
.
C66
2010
